The Racket virtual machine and randomized testing
نویسندگان
چکیده
منابع مشابه
the survey of the virtual higher education in iran and the ways of its development and improvement
این پژوهش با هدف "بررسی وضعیت موجود آموزش عالی مجازی در ایران و راههای توسعه و ارتقای آن " و با روش توصیفی-تحلیلی و پیمایشی صورت پذیرفته است. بررسی اسنادو مدارک موجود در زمینه آموزش مجازی نشان داد تعداد دانشجویان و مقاطع تحصیلی و رشته محل های دوره های الکترونیکی چندان مطلوب نبوده و از نظر کیفی نیز وضعیت شاخص خدمات آموزشی اساتید و وضعیت شبکه اینترنت در محیط آموزش مجازی نامطلوب است.
The Virtual Virtual Machine Project
* This work is partially funded by a french RNRT project (Phenix 99S0361), France Telecom R&D (CTI ISA 001B117) and the Paris 6 computer science laboratory (PLERS). Abstract This paper presents the invited talk at the "Simposio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho (SBAC'2000)": the Virtual Virtual Machine approach for highly configurable operating systems...
متن کاملThe Protection Racket
In recent years, it has been encouraging to watch the developmental non-governmental organizations (NGOs) become more sophisticated in their thinking on the benefits of trade liberalization. NGOs such as Public Citizen that are against all forms of liberalization are now rare. Most NGOs including, for example, Oxfam, Christian Aid and Action Aid today agree that poor countries would benefit fro...
متن کاملThe Racket Manifesto
The creation of a programming language calls for guiding principles that point the developers to goals. This article spells out the three basic principles behind the 20-year development of Racket. First, programming is about stating and solving problems, and this activity normally takes place in a context with its own language of discourse; good programmers ought to formulate this language as a...
متن کاملThe Jalapeño virtual machine
Jalapeño is a virtual machine for Java servers written in the Java language. To be able to address the requirements of servers (performance and scalability in particular), Jalapeño was designed “from scratch” to be as self-sufficient as possible. Jalapeño’s unique object model and memory layout allows a hardware null-pointer check as well as fast access to array elements, fields, and methods. R...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Higher-Order and Symbolic Computation
سال: 2012
ISSN: 1388-3690,1573-0557
DOI: 10.1007/s10990-013-9091-1